量化 (数理逻辑)的英文

• quantification

• 量化:    quantization
• 数理逻辑:    mathematical logic
• 公式 (数理逻辑):    formula (mathematical logic)
• 句子 (数理逻辑):    sentence (mathematical logic)
• 文字 (数理逻辑):    literal (mathematical logic)

百科释义

在语言和逻辑中，量化是指定一个谓词的有效性的广度的构造，就是说指定谓词在一定范围的事物上成立的程度。产生量化的语言元素叫做量词。

其他语言

量化 (数理逻辑)的法语：Quantificateur (logique)
量化 (数理逻辑)的韩语：양화
量化 (数理逻辑)的俄语：Квантор
量化 (数理逻辑)的印尼文：kuantifer (logika); pengkuantitian;